陶哲轩与邓煜谈 AI 数学证明：解题不等于真正理解

在 SAIR 一场围绕商业 AI 批量发布数学证明争议的访谈中，菲尔兹奖得主陶哲轩与邓煜表示，AI 能加快推导、提出新想法，但机器给出证明不等于人类已经理解问题。两人主张保留「慢科研」的价值，强调证明的可解释性、可核查性与思想来源可追溯，并介绍了 Open Math Model 计划与已先行推出的 Open Math OS。